Skip to main content

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets

Item Preview

SIMILAR ITEMS (based on metadata)
Arxiv.org
by Simon Gravel; Veit Elser
texts
eye 62
favorite 0
comment 0
Source: http://arxiv.org/abs/0801.0222v1
Arxiv.org
by Adrian Prantl; Jens Knoop; Markus Schordan; Markus Triska
texts
eye 52
favorite 0
comment 0
Source: http://arxiv.org/abs/0903.2251v1
Arxiv.org
by Antonis Kakas
texts
eye 42
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/0003020v2
Arxiv.org
by Vasco Pedro; Salvador Abreu
texts
eye 29
favorite 0
comment 0
Source: http://arxiv.org/abs/1009.3800v1
Arxiv.org
by Thomas W. Baumgarte
texts
eye 40
favorite 0
comment 0
Source: http://arxiv.org/abs/1202.4639v2
Arxiv.org
by Samir Ouis; Narendra Jussien; Patrice Boizumault
texts
eye 35
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/0207046v2
Arxiv.org
by David Callan
texts
eye 36
favorite 0
comment 0
Source: http://arxiv.org/abs/0711.4841v2
Arxiv.org
by Christian Drescher; Toby Walsh
texts
eye 45
favorite 0
comment 0
Source: http://arxiv.org/abs/1007.4114v1
Arxiv.org
texts
eye 57
favorite 0
comment 0
Source: http://arxiv.org/abs/math/0604159v1
Arxiv.org
by Daria Terekhov; J. Christopher Beck
texts
eye 116
favorite 0
comment 0
Source: http://arxiv.org/abs/1111.0060v1